
(check (let (( (a  (b0 _ b2) . c) '(1 (100 200 300) . 77) ))
         (= (+ a b0 b2 c) 478)))

